Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
111	The Evolution of Language 2x Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2009-05-24 10:54:04 Software engineering Metaphysicians Rationalists René Descartes 2X Lambda Combinatory logic Fixed-point combinator Lambda calculus Theoretical computer science Philosophy
112	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
113	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science
114	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-06-26 16:40:00 Mathematical logic Combinatory logic Church encoding SKI combinator calculus Function Calculus Currying Fixed-point combinator Lambda calculus Theoretical computer science Mathematics
115	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:13 Lambda calculus Recursion Computability theory Theoretical computer science Subroutines Joy Fixed-point combinator Combinatory logic Forth Software engineering Computer programming Computing
116	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 19:27:20 Lambda calculus Theory of computation Computability theory Recursion Combinatory logic Fixed-point combinator Recursively enumerable set Computability Fixed point Theoretical computer science Computer science Applied mathematics
117	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics
118	PDF Document Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:03 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
119	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2006-02-26 14:09:44 Subroutines Lambda calculus Functional programming C++ Anonymous function Closure Function object C++11 Fixed-point combinator Software engineering Computing Computer programming
120	PDF Document Add to Reading List Source URL: ftp.kestrel.edu Language: English - Date: 2010-11-25 16:05:50 Lambda calculus Group theory Homomorphism Morphisms Quasigroup Fixed-point combinator Abuse of notation Sheaf Filter Mathematics Abstract algebra Mathematical notation

UPDATE